Constructing habitus: promoting an international arts trend at the Singapore Arts Festival

The Singapore Arts Festival (SAF) is Singapore’s largest government-supported international arts festival. SAF presents the best in international and local arts, in an attempt, to develop what it perceives to be a lack of cultural knowledge of the Singaporean arts-going public. Using Pierre Bourdieu’s key concept of ‘habitus’ together with an analysis of the programming of the festival, this paper will highlight how the festival seeks to create a specific cultural taste in Singaporean art-goers through privileging and promoting works that are internationally marketable to European countries. The paper will conclude that this programming style occurs at the expense of Singaporean artists and hinders the development of the city’s state cultural and artistic development

Guided Unfoldings for Finding Loops in Standard Term Rewriting

In this paper, we reconsider the unfolding-based technique that we have introduced previously for detecting loops in standard term rewriting. We improve it by guiding the unfolding process, using distinguished positions in the rewrite rules. This results in a depth-first computation of the unfoldings, whereas the original technique was breadth-first. We have implemented this new approach in our tool NTI and compared it to the previous one on a bunch of rewrite systems. The results we get are promising (better times, more successful proofs).Comment: Pre-proceedings paper presented at the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt am Main, Germany, 4-6 September 2018 (arXiv:1808.03326

Deconjugation Kinetics of Glucuronidated Phase II Flavonoid Metabolites by B-glucuronidase from Neutrophils

Flavonoids are inactivated by phase II metabolism and occur in the body as glucuronides. Mammalian ß-glucuronidase released from neutrophils at inflammatory sites may be able to deconjugate and thus activate flavonoid glucuronides. We have studied deconjugation kinetics and pH optimum for four sources of ß-glucuronidase (human neutrophil, human recombinant, myeloid PLB-985 cells, Helix pomatia) with five flavonoid glucuronides (quercetin-3-glucuronide, quercetin-3'-glucuronide, quercetin-4'-glucuronide, quercetin-7-glucuronide, 3'-methylquercetin-3-glucuronide), 4-methylumbelliferyl-ß-D-glucuronide, and para-nitrophenol-glucuronide. All substrate-enzyme combinations tested exhibited first order kinetics. The optimum pH for hydrolysis was between 3.5-5, with appreciable hydrolysis activities up to pH 5.5. At pH 4, the Km ranged 44-fold from 22 µM for quercetin-4'-glucuronide with Helix pomatia ß-glucuronidase, to 981 µM for para-nitrophenol-glucuronide with recombinant ß-glucuronidase. Vmax (range: 0.735-24.012 µmol·min-1·unit-1 [1 unit is defined as the release of 1 µM 4-methylumbelliferyl-ß-D-glucuronide per min]) and the reaction rate constants at low substrate concentrations (k) (range: 0.002-0.062 min-1·(unit/L)-1 were similar for all substrates-enzyme combinations tested. In conclusion, we show that ß-glucuronidase from four different sources, including human neutrophils, is able to deconjugate flavonoid glucuronides and non-flavonoid substrates at fairly similar kinetic rates. At inflammatory sites in vivo the pH, neutrophil and flavonoid glucuronide concentrations seem favorable for deconjugation. However, it remains to be confirmed whether this is actually the case

RELEASE: A High-level Paradigm for Reliable Large-scale Server Software

Erlang is a functional language with a much-emulated model for building reliable distributed systems. This paper outlines the RELEASE project, and describes the progress in the first six months. The project aim is to scale the Erlang’s radical concurrency-oriented programming paradigm to build reliable general-purpose software, such as server-based systems, on massively parallel machines. Currently Erlang has inherently scalable computation and reliability models, but in practice scalability is constrained by aspects of the language and virtual machine. We are working at three levels to address these challenges: evolving the Erlang virtual machine so that it can work effectively on large scale multicore systems; evolving the language to Scalable Distributed (SD) Erlang; developing a scalable Erlang infrastructure to integrate multiple, heterogeneous clusters. We are also developing state of the art tools that allow programmers to understand the behaviour of massively parallel SD Erlang programs. We will demonstrate the effectiveness of the RELEASE approach using demonstrators and two large case studies on a Blue Gene

Acceptability with general orderings

We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analysis, but we apply these orderings directly to the logic program and not to the term-rewrite system obtained through some transformation. We define some variants of acceptability, based on general orderings, and show how they are equivalent to LD-termination. We develop a demand driven, constraint-based approach to verify these acceptability-variants. The advantage of the approach over standard acceptability is that in some cases, where complex level mappings are needed, fairly simple orderings may be easily generated. The advantage over transformational approaches is that it avoids the transformation step all together. {\bf Keywords:} termination analysis, acceptability, orderings.Comment: To appear in "Computational Logic: From Logic Programming into the Future

Computer simulation of diffusion processes in tilt spatio-periodic potentials

Нещодавно було показано, що в істотно нерівноважних системах коефіцієнт дифузії може вести себе немонотонно з температурою. Одним із прикладів таких систем з аномальною температурної залежністю є рух броунівських часток в просторово-періодичних структурах. Метою статті було дослідження зміни температурної залежності дифузії в недодемпфованих системах з низьким коефіцієнтом тертя. В роботі методами комп'ютерного моделювання вивчено зміна коефіцієнта дифузії частинок в широкому діапазоні температур в нахилених просторово-періодичних потенціалах для різних значень коефіцієнта тертя. Показано, що дифузія досягає максимуму при певній величині зовнішньої сили. Її значення залежить від величини коефіцієнта тертя. Показано, що на відміну від звичайної залежності Аррениуса, в разі нахиленого періодичного потенціалу, максимальний коефіцієнт дифузії зростає, а не зменшується з пониженням температури експоненціальним чином. Встановлено, що така залежність характерна для всіх недодемпфованих систем. Показано, що для просторово-періодичних структур існує обмежена ділянка сил, в якому спостерігається зростання коефіцієнта дифузії зі зменшенням температури. Це область так званої температурно-аномальної дифузії (ТАД). Визначено ширина і положення області ТАД в залежності від коефіцієнта тертя γ і параметрів системи. Показано, що зі зменшенням γ, ширина області ТАД зменшується пропорційно γ. При цьому коефіцієнт дифузії в області ТАД, навпаки зростає ~γ. Отримані дані про температурно-аномальної дифузії мають важливе значення для різних областей фізики і техніки та відкривають перспективи створення новітніх технологій управління процесами дифузії.It was recently shown that in essentially nonequilibrium systems, the diffusion coefficient can behave nonmonotonically with temperature. One example of such systems with anomalous temperature dependence is the motion of Brownian particles in spatially periodic structures. The aim of the article was to study the change in the temperature dependence of diffusion in underdamped systems with a low coefficient of friction. In this paper, computer simulation methods are used to study the change in the diffusion coefficient of particles in a wide range of temperatures in oblique spatially periodic potentials for different values of the friction coefficient. It is shown that diffusion reaches a maximum at a certain external force. Its value depends on the coefficient of friction. It is shown that, in contrast to the usual Arrhenius dependence, in the case of an inclined periodic potential, the maximum diffusion coefficient increases while temperature is decreasing exponentially. It is established that such a dependence is common to all underdamped systems. It is shown that for spatially periodic structures there is a limited portion of forces in which an increase in the diffusion coefficient while decreasing temperature is observed. This is the area of the so-called temperature-anomalous diffusion (TAD). The width and position of the TAD region are determined depending on the friction coefficient γ and the system parameters. It has been shown that a decrease in γ, width TAD region decreases proportionally γ. In this case, the diffusion coefficient in the TAD region, on the contrary, increases ~γ. The data obtained on the temperature and the anomalous diffusion are important for various fields of physics and engineering, and opens new prospects for a diffusion process control technology

Online and offline representations of biocultural diversity: A political ecology perspective on nature-based tourism and indigenous communities in the Brazilian Pantanal

The concept of biocultural diversity is confronted with contemporary changes that impact on local communities, such as globalization and digital transformations. Engaging the conceptual flexibility of ‘biocultural diversity’, we studied nature-based tourism at the intersection of indigenous communities and the digital realm. We employed a political ecology perspective to examine online and offline representations of biocultural diversity in the Brazilian Pantanal, one of the biggest wetlands in the world, and home to groups of peoples known as the Pantaneiros. Data from interviews with 48 stakeholders in the tourist sector were structured along three ‘myths’—the Uncivilised, Unrestrained, and Unchanged—for which we have also constructed counter narratives. Each myth denoted the primacy of biodiversity, and ignored broader dimensions of the Pantanal as a bioculturally diverse landscape. The relationships of the Pantaneiros with their environment were found to be intricate and had clear repercussions for tourism, but ironically, reference to the Pantaneiro culture in nature-based tourism was superficial. Moreover, thriving on the myths, this form of tourism perpetuates skewed power structures and social inequalities. Lower-class Pantaneiros likely suffer most from this. We recommend stakeholder engagement with a biocultural design that facilitates the integration of other-than-biodiversity values, and that thereby promotes sustainability of the entire social-ecological system

AC-KBO Revisited

Equational theories that contain axioms expressing associativity and commutativity (AC) of certain operators are ubiquitous. Theorem proving methods in such theories rely on well-founded orders that are compatible with the AC axioms. In this paper we consider various definitions of AC-compatible Knuth-Bendix orders. The orders of Steinbach and of Korovin and Voronkov are revisited. The former is enhanced to a more powerful version, and we modify the latter to amend its lack of monotonicity on non-ground terms. We further present new complexity results. An extension reflecting the recent proposal of subterm coefficients in standard Knuth-Bendix orders is also given. The various orders are compared on problems in termination and completion.Comment: 31 pages, To appear in Theory and Practice of Logic Programming (TPLP) special issue for the 12th International Symposium on Functional and Logic Programming (FLOPS 2014